Multi-level Aes Design Security: from Systemc-tlm to Fpga

نویسندگان

  • HASSEN MESTIRI
  • MOHSEN MACHHOUT
  • RACHED TOURKI
چکیده

Advanced Encryption Standard (AES) cryptographic system are widely used in embedded systems to secure secret information. One of the most powerful cryptanalysis techniques against the cryptographic systems is the fault injection attacks. The complexity of cryptographic systems is increasing which requires fast security attacks simulation against fault injection attacks. The multi-level Electronic System Level approach is one promising candidate that allows models to reach higher simulation speed. It is known that the SystemC Transaction Level Modeling (TLM) package simulates models 1000 times higher than classical Register Transfer Level (RTL) simulators. In this paper, we present a secure reconfigurable AES design against the fault injection attacks at the Electronic System Level. Simulation results demonstrate that the simulation time is dependent of the fault detection schemes types. Moreover, The SystemC design is refined to RTL level. It is translated from SystemC description to a VHDL equivalent and implemented on Xilinx Virtex-5 FPGA. Experimental synthesis results show that the secure reconfigurable AES design is very robust against fault injection attacks and the fault detection scheme information redundancy allows a trade-off between the hardware overhead and the security against fault injection attacks.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

SystemC design flow for a DES/AES CryptoProcessor

As the complexity of electronic systems increases every day, new ways for describing these systems also appear. One interesting way consists of capturing the whole system's functionality using a system level executable specification language. This high level specification is the entry point to a top-down design flow that results in the final implementation of the system. In this context synthes...

متن کامل

An Implementation of Pipelined Rijndael with SystemC and Co-emulation with iPROVE

This paper describes an implementation of Rijndael, a new Advanced Encryption Standard (AES), with SystemC. The design started in the un-timed functional level description in C and was gradually refined until all blocks were translated into RTL SystemC, which can be synthesized with CoCentric SystemC Compiler. To improve the verification speed, cycle-accurate co-emulation was used. iPROVE, an F...

متن کامل

Mapping Actor-Oriented Models to TLM Architectures

Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, however, are usually implemented using transaction level modeling (TLM). Even though both modeling paradigms, actor-oriented design and TLM, can conveniently be implemented using a common language such as SystemC, a method...

متن کامل

Towards Proving TLM Properties with Local Variables

With the growing popularity and adoption of Electronic System Level (ESL) design, the verification of SystemC models at Transaction Level (TLM) has become an important research problem. In the context of formal verification, most of the existing approaches for SystemC TLM only consider basic properties such as deadlock-freedom or local assertions. In previous work, a high-level BMC-based proper...

متن کامل

ESL Design Methodology for Architecture Exploration using OSCI TLM-2.0 Standard

We present a methodology for design of complex digital systems at system level through a training video. After the introduction to SystemC and TLM-2.0, the video explains a number of design sub-levels and guidelines for design at each sub-level. A test data compression system is implemented as a case study using OSCI TLM 2.0 standard. .

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014